home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_text / faqs / frcmplr1 / part2 < prev    next >
Text File  |  1993-06-28  |  63KB  |  1,695 lines
  1. Newsgroups: comp.compilers,comp.lang.misc,comp.archives.admin,news.answers,comp.answers
  2. Path: senator-bedfellow.mit.edu!enterpoop.mit.edu!world!iecc!compilers-sender
  3. From: David Muir Sharnoff <muir@idiom.berkeley.ca.us>
  4. Subject: Catalog of compilers, interpreters, and other language tools [p2of3]
  5. Message-ID: <free2-Jun-93@comp.compilers>
  6. Followup-To: comp.archives.admin
  7. Summary: Monthly posting of free language tools that include source code
  8. Keywords: tools, FTP, administrivia
  9. Sender: compilers-sender@iecc.cambridge.ma.us
  10. Supersedes: <free2-May-93@comp.compilers>
  11. Reply-To: muir@idiom.berkeley.ca.us
  12. Organization: University of California, Berkeley
  13. References: <free1-Jun-93@comp.compilers>
  14. Date: Tue, 1 Jun 1993 11:00:35 GMT
  15. Approved: compilers@iecc.cambridge.ma.us
  16. Expires: Thu, 1 Jul 1993 23:59:00 GMT
  17. Lines: 1675
  18. Xref: senator-bedfellow.mit.edu comp.compilers:5190 comp.lang.misc:13613 comp.archives.admin:1074 news.answers:8947 comp.answers:841
  19.  
  20. Archive-name: free-compilers/part2
  21. Last-modified: 1993/05/24
  22. Version: 3.4
  23.  
  24. language:    Concurrent Clean
  25. package:    The Concurrent Clean System
  26. version:    0.8.1
  27. parts:        development environment, documentation, compiler(byte-code), 
  28.         compiler(native), interpreter(byte-code), examples
  29. how to get:    ftp pub/Clean/* from ftp.cs.kun.nl 
  30. author:        Research Institute for Declarative Systems, 
  31.         University of Nijmegen
  32. description:    The Concurrent Clean system is a programming
  33.         environment for the functional language Concurrent
  34.         Clean, developed at the University of Nijmegen, The
  35.         Netherlands. The system is one of the fastest
  36.         implementations of functional languages available at
  37.         the moment. Its I/O libraries make it possible to do
  38.         modern, yet purely functional I/O (including windows,
  39.         menus, dialogs etc.) in Concurrent Clean. With the
  40.         Concurrent Clean system it is possible to develop
  41.         real-life applications in a purely functional
  42.         language.
  43.         * lazy and purely functional
  44.         * strongly typed - based on Milner/Mycroft scheme
  45.         * module structure
  46.         * modern I/O
  47.         * programmer-infulenced evaluation order by annotations
  48. contact:    clean@cs.kun.nl
  49. ports:        Sun-3, Sun-4, Macintosh
  50. updated:    1992/11/07
  51.  
  52. language:    Dylan
  53. pakcage:    Thomas
  54. version:    ? first public release ?
  55. parts:        translator(Scheme)
  56. how to get:    ftp pub/DEC/Thomas from gatekeeper.pa.dec.com
  57. author:        Matt Birkholz <Birkholz@crl.dec.com>, Jim Miller 
  58.         <JMiller@crl.dec.com>, Ron Weiss <RWeiss@crl.dec.com>
  59. description:    Thomas, a compiler written at Digital Equipment
  60.         Corporation's Cambridge Research Laboratory compiles
  61.         a language compatible with the language described
  62.         in the book "Dylan(TM) an object-oriented dynamic
  63.         language" by Apple Computer Eastern Research and
  64.         Technology, April 1992.     It does not perform well.
  65.         Thomas is NOT Dylan(TM).
  66. ports:        MIT's CScheme, DEC's Scheme->C, Marc Feeley's Gambi, Mac, PC, 
  67.         Vax, MIPS, Alpha, 680x0
  68. requires:    Scheme
  69. updated:    1992/09/11
  70.  
  71. language:    E
  72. package:    Amiga E
  73. version:    2.1b
  74. parts:        compiler, assembler, linker, utilities
  75. author:        Wouter van Oortmerssen <Wouter@mars.let.uva.nl>
  76. how to get:    ftp amiga/dev/lang/AmigaE21b.lha from amiga.physik.unizh.ch
  77. description:    An Amiga specific E compiler.  E is a powerful and flexible
  78.         procedural programming language and Amiga E a very fast com-
  79.         piler for it, with features such as compilation speed of
  80.         20000 lines/minute on a 7 Mhz amiga, inline assembler and
  81.         linker integrated into compiler, large set of integrated
  82.         functions, module concept with 2.04 includes as modules,
  83.         flexible type-system, quoted expressions, immediate and typed
  84.         lists, low level polymorphism, exception handling and much,
  85.         much more.  Written in Assembly and E.    
  86. discussion:    comp.sys.amiga.programmer (sometimes)
  87. ports:        Amiga
  88. portability:    not portable at all
  89. status:        actively developed
  90. updated:    1993/03/01
  91.  
  92. language:    EDIF (Electronic Design Interchange Format)
  93. package:    Berkeley EDIF200 
  94. version:    7.6
  95. parts:        translator-building toolkit
  96. author:        Wendell C. Baker and Prof A. Richard Newton of the Electronics 
  97.         Research Laboratory, Department of Electrical Engineering and 
  98.         Computer Sciences at the University of California, Berkeley, CA
  99. how to get:    ftp from pub/edif in ic.berkeley.edu
  100. description:    ?
  101. ports:        ?
  102. restriction:    no-profit w/o permission
  103. updated:    1990/07
  104.  
  105. language:    EDIF v 2 0 101
  106. package:    University of Manchester EDIF v 2 0 101 Syntax Checker
  107. how to get:    ftp pub/edif from edif.cs.man.ac.uk
  108. description:    Parser/Syntax checker for EDIF v 2 0 101 written in ANSI-C
  109.  
  110. language:    Eiffel
  111. package:    ?
  112. version:    ?
  113. parts:        source checker
  114. author:        Olaf Langmack <langmack@inf.fu-berlin.de> and Burghardt Groeber
  115. how to get:    ftp pub/heron/ep.tar.Z from ftp.fu-berlin.de
  116. description:    A compiler front-end for Eiffel-3 is available. It has been
  117.         generated automatically with the Karlsruhe toolbox for
  118.         compiler construction according to the most recent public
  119.         language definition. The parser derives an easy-to-use
  120.         abstract syntax tree, supports elementary error recovery
  121.         and provides a precise source code indication of errors. It
  122.         performs a strict syntax check and analyses 4000 lines of
  123.         source code per second on a Sun-SPARC workstation.
  124. updated:    1992/12/14
  125.  
  126. language:    EuLisp
  127. package:    Feel (Free and Eventually Eulisp)
  128. version:    0.75
  129. parts:        interpreter, documentation
  130. how to get:    ftp pub/eulisp from ftp.bath.ac.uk
  131. author:        Pete Broadbery <pab@maths.bath.ac.uk>
  132. description:    + integrated object system
  133.         + a module system
  134.         + parallelism
  135.         + interfaces to PVM library, tcp/ip sockets, futures, 
  136.         Linda, and CSP.
  137. ports:        most unix
  138. portability:    high, but can use shared memory and threads if available
  139. updated:    1992/09/14
  140.  
  141. language:    FMPL of Accardi
  142. package:    FMPL interpreter
  143. version:    1
  144. parts:        interpreter, documentation
  145. author:        Jon Blow <blojo@xcf.berkeley.edu>
  146. how to get:    ftp src/local/fmpl/* from xcf.berkeley.edu
  147. description:    FMPL is an experimental prototype-based object-oriented 
  148.         programming language developed at the Experimental Computing
  149.         Facility of the University of California, Berkeley.
  150.         + lambda-calculus based constructs.
  151.         + event-driven (mainly I/O events)
  152. updated:    1992/06/02
  153.  
  154. language:    FORTH
  155. package:    TILE Forth
  156. version:    2.1
  157. parts:        interpreter
  158. author:        Mikael Patel <mip@sectra.se>
  159. how to get:    ftp tile-forth-2.1.tar.Z from a GNU archive site
  160. description:    Forth interpreter in C; many Forth libraries
  161. conformance:    Forth83
  162. restriction:    shareware/GPL
  163. ports:        unix
  164. updated:    1991/11/13
  165.  
  166. language:    FORTH
  167. package:    cforth
  168. version:    ?
  169. parts:        interpreter
  170. author:        ?
  171. how to get:    comp.sources.unix archive volume 1
  172. description:    ?
  173. updated:    ?
  174.  
  175. language:    FORTH
  176. package:    F68K
  177. version:    ?
  178. how to get:    ftp atari/Languages/f68k.* from archive.umich.edu
  179. description:    a portable Forth system for Motorola 68k computers
  180. ports:        Atari ST/TT, Amiga, Sinclair QL and OS9
  181. portability:    very high for 68000 based systems
  182. contact:    Joerg Plewe <joerg.plewe@mpi-dortmund.mpg.de>
  183. updated:    1992/12/14
  184.  
  185. language:    FORTH
  186. package:    51forth
  187. version:    ?
  188. parts:        ?
  189. author:        Scott Gehmlich
  190. how to get:    ftp giovanni/51forth.zip from [130.123.96.9]
  191. description:    source and documentation for a 8051 subroutine-
  192.         threaded forth
  193. contact:    ?
  194. updated:    1993/04/03
  195.  
  196. language:    Kevo (Forth-like)
  197. package:    kevo
  198. version:    0.9b6
  199. parts:        interpreter, demo programs, user's guide, papers
  200. author:        Antero Taivalsaari <tsaari@cs.uta.fi>
  201. how to get:    ftp /pub/kevo/* from cs.uta.fi
  202. description:    Kevo is a prototype-based object-oriented language for
  203.         Macintosh Kevo features a unique prototype-based object model
  204.         (which is based neither on classes nor Self-style delegation),
  205.         multitasking (both preemptive and cooperative), dynamic memory
  206.         management, and an icon-based object browser and editor modeled
  207.         loosely after Mac Finder. Kevo has been built around a portable
  208.         threaded code interpreter, and is syntactically a close
  209.         derivative of Forth.
  210. ports:        Macintosh
  211. contact:    kevo-interest@ursamajor.uvic.ca
  212. updated:    1993/05/18
  213.  
  214. language:    Forth, Yerk
  215. package:    Yerk
  216. version:    3.62
  217. parts:        ?
  218. how to get:    ftp pub/Yerk/? from oddjob.uchicago.edu
  219. description:    Yerk is an object oriented language based on a
  220.         Forth Kernel with some major modifications.  It
  221.         was originally known as Neon, developed and sold
  222.         as a product by Kriya Systems from 1985 to 1989.
  223.         Several of us at The University of Chicago have
  224.         maintained Yerk since its demise as a product.
  225.         Because of the possible trademark conflict that
  226.         Kriya mentions, we picked the name Yerk, which is
  227.         at least not an acronym for anything, but rather
  228.         stands for Yerkes Observatory, part of the Department
  229.         of Astronomy and Astrophysics at U of C.
  230. author:        ?
  231. updated:    ?
  232.  
  233. language:    Forth?
  234. package:    Mops
  235. version:    2.3
  236. parts:        ?
  237. how to get:    ftp pub/Yerk/? from oddjob.uchicago.edu
  238. description:    ???
  239. updated:    1993/03/22
  240.  
  241. language:    Fortran
  242. package:    f2c
  243. version:    ?
  244. parts:        translator(C)
  245. author:        ?
  246. how to get:    ftp ft2/? from netlib@research.att.com
  247. bugs:        dmg@research.att.com
  248. updated:    ? 1991/02/16 ?
  249.  
  250. language:    Fortran
  251. package:    Floppy
  252. version:    ?
  253. parts:        ?
  254. how to get:    ffccc in comp.sources.misc archive volume 12
  255. description:    ?
  256. contact:    ?
  257. updated:    1992/08/04
  258.  
  259. language:    Fortran
  260. package:    Flow
  261. version:    ?
  262. parts:        ?
  263. how to get:    comp.sources.misc archive volume 31
  264. author:        Julian James Bunn <julian@vxcrna.cxern.ch>
  265. descripton:    The Flow program is a companion to Floppy, it allows the user 
  266.         to produce various reports on the structure of Fortran 
  267.         77 code, such as flow diagrams and common block tables.
  268. requires:    Floppy
  269. ports:        VMS, Unix, CMS
  270.  
  271. language:    Fortran
  272. package:    Adaptor (Automatic DAta Parallelism TranslatOR)
  273. version:    ?
  274. parts:        translator(Fortran), documentation
  275. how to get:    ftp gmd/adaptor/* from ftp.gmd.de
  276. description:    Adaptor is a tool that transforms data parallel
  277.         programs written in Fortran with array extensions,
  278.         parallel loops, and  layout directives    to parallel
  279.         programs with explicit message passing.
  280.         ADAPTOR is not a compiler but a source to source
  281.         transformation that generates Fortran 77 host and
  282.         node programs with message passing.  The new
  283.         generated source codes have to be compiled by the
  284.         compiler of the parallel machine. 
  285. ports:        Alliant FX/2800, iPSC/860, Net of Sun-4 or RS/6000 
  286.         Workstations (based on PVM), Parsytec GCel, Meiko Concerto
  287. contact:    Thomas Brandes <brandes@gmdzi.gmd.de>
  288. updated:    1992/10/17
  289.  
  290. language:    Fortran, C
  291. package:    cfortran.h
  292. version:    2.6
  293. parts:        macros, documentation, examples
  294. author:        Burkhard Burow
  295. how to get:    ftp cfortran/* from zebra.desy.de
  296. description:    cfortran.h is an easy-to-use powerful bridge between
  297.         C and FORTRAN. It provides a completely transparent, machine
  298.         independent interface between C and FORTRAN routines and
  299.         global data.
  300.         cfortran.h provides macros which allow the C preprocessor to
  301.         translate a simple description of a C (Fortran) routine or
  302.         global data into a Fortran (C) interface.
  303. references:    reviewed in RS/Magazine November 1992 and
  304.         a user's experiences with cfortran.h are to be described
  305.         in the 1/93 issue of Computers in Physics.
  306. portability:    high
  307. ports:        VAX VMS or Ultrix, DECstation, Silicon Graphics, IBM RS/6000,
  308.         Sun, CRAY, Apollo, HP9000, LynxOS, f2c, NAG f90.
  309. contact:    burow@vxdesy.cern.ch
  310. updated:    1992/04/12
  311.  
  312. langauge:    Fortran
  313. package:    fsplit
  314. version:    ?
  315. parts:        ?
  316. how to get:    ?
  317. description:    a tool to split up monolithic fortran programs
  318. updated:    ?
  319.  
  320. language:    Fortran
  321. package:    ?
  322. version:    ?
  323. author:        Steve Mccrea <mccrea@gdwest.gd.com>
  324. description:    a tool to split up monolithic fortran programs
  325. requires:    new awk
  326. updated:    ?
  327.  
  328. language:    FP
  329. package:    ? funcproglang ?
  330. version:    ?
  331. parts:        translator(C)
  332. author:        ?
  333. how to get:    comp.sources.unix archive volume 13
  334. descrition:    ? Backus Functional Programming ?
  335. updated:    ?
  336.  
  337. language:    Garnet ??
  338. package:    Garnet
  339. version:    2.1 alpha
  340. how to get:    ftp from /usr/garnet/? from a.gp.cs.cmu.edu
  341. description:    ?
  342. contact:    ?
  343. updated:    ?
  344.  
  345. language:    Garnet
  346. package:    Multi-Garnet
  347. version:    2.1
  348. how to get:    ftp /usr/garnet/alpha/src/contrib/multi-garnet 
  349.         from a.gp.cs.cmu.edu
  350. author:        Michael Sannella <sannella@cs.washington.edu>
  351. description:    better contstraint system for Garnet ??
  352. updated:    1992/09/21
  353.  
  354. language:    Gofer (Haskell derivitive)
  355. package:    Gofer
  356. version:    2.28a
  357. parts:        interpreter, translator(->C), documentation, examples
  358. author:        Mark Jones <jones-mark@cs.yale.edu>
  359. how to get:    ftp pub/haskell/gofer from nebula.cs.yale.edu
  360.     uk:        pub/Packages/Gofer from ftp.comlab.ox.ac.uk
  361. description:     Gofer is based quite closely on the Haskell programming
  362.         language, version 1.2.  It supports lazy evaluation, higher
  363.         order functions, pattern matching, polymorphism, overloading
  364.         etc and runs on a wide range of machines.
  365. conformances:    Gofer does not implement all of Haskell, although it is 
  366.         very close.
  367. status:        maintained but not developed (for a while anyway)
  368. ports:        many, including Sun, PC, Mac, Atari, Amiga
  369. updated:    1993/03/09
  370.  
  371. language:    Haskell
  372. package:    Chalmers Haskell (aka Haskell B.)
  373. version:    ?
  374. parts:        ?
  375. how to get:    ftp pub/haskell/chalmers/hbc from animal.cs.chalmers.se
  376. requires:    LML
  377. contact:    ?
  378. updated:    1992/07/06
  379.  
  380. language:    Haskell
  381. package:    The Glasgow Haskell Compiler (GHC)
  382. version:    0.10
  383. parts:        translator(C), tests, profiler
  384. how to get:    ftp pub/haskell/glasgow/* from nebula.cs.yale.edu
  385.     uk:        ftp pub/haskell/glasgow/* from ftp.dcs.glasgow.ac.uk
  386.     se:        ftp pub/haskell/glasgow/* from animal.cs.chalmers.se
  387. description:    + almost all of Haskell is implemented
  388.         + An extensible I/O system is provided, based on a "monad"
  389.         + significant language extensions are implemented: Fully 
  390.         fledged unboxed data types, Ability to write arbitrary in-line
  391.         C-language code, Incrementally-updatable arrays, Mutable
  392.         reference types.
  393.         + generational garbage collector
  394.         + Good error messages
  395.         + programs compiled with GHC "usually" beat
  396.         Chalmers-HBC-compiled ones.
  397.         + compiler is written in a modular and well-documented way.
  398.         + Highly configurable runtime system. 
  399.         - No interactive system.
  400.         - Compiler is greedy on resources.
  401. requires:    GNU C 2.1+, perl, Chalmers HBC 0.998.x (source build only)
  402. conformance:    Almost all of Haskell is implemented.
  403. ports:        Sun4
  404. portability:    should be high
  405. bugs:        <glasgow-haskell-bugs@dcs.glasgow.ac.uk>
  406. contact:    <glasgow-haskell-request@dcs.glasgow.ac.uk>
  407. updated:    1992/12/14
  408.  
  409. language:    Hermes
  410. package:    IBM Watson prototype Hermes system
  411. version:    0.8alpha patchlevel 01
  412. parts:        bytecode compiler, bytecode translator(C), runtime
  413. author:        Andy Lowry <lowry@watson.ibm.com>
  414. how to get:    ftp pub/hermes/README from software.watson.ibm.com
  415. description:    Hermes is a very-high-level integrated language and
  416.         system for implementation of large systems and
  417.         distributed applications, as well as for
  418.         general-purpose programming.  It is an imperative,
  419.         strongly typed, process-oriented language.  Hermes
  420.         hides distribution and heterogeneity from the
  421.         programmer.  The programmer sees a single abstract
  422.         machine containing processes that communicate using
  423.         calls or sends.     The compiler, not the programmer,
  424.         deals with the complexity of data structure layout,
  425.         local and remote communication, and interaction with
  426.         the operating system.  As a result, Hermes programs are
  427.         portable and easy to write.  Because the programming
  428.         paradigm is simple and high level, there are many
  429.         opportunities for optimization which are not present in
  430.         languages which give the programmer more direct control
  431.         over the machine.
  432. reference:    Strom, Bacon, Goldberg, Lowry, Yellin, Yemini. Hermes: A
  433.         Language for Distributed Computing. Prentice-Hall, Englewood
  434.         Cliffs, NJ.  1991.  ISBN: O-13-389537-8.
  435. ports:        RS6000 Sun-4 NeXT IBM-RT/bsd4.3 (Sun-3 and Convex soon)
  436. discussion:    comp.lang.hermes
  437. updated:    1992/03/22
  438.  
  439. language:    Hope
  440. package:    ?
  441. parts:        ?
  442. how to get:    ftp ? from brolga.cc.uq.oz.au
  443. author:        ?
  444. description:    Functional language with polymorphic types and lazy lists.
  445.         First language to use call-by-pattern.
  446. ports:        Unix, Mac, PC
  447. updated:    1992/11/27
  448.  
  449. language:    ici
  450. package:    ici
  451. parts:        interpreter, documentation, examples
  452. author:        Tim Long
  453. how to get:    ftp pub/ici.cpio.Z from extro.ucc.su.oz.au
  454. description:    ICI has dynamic arrays, structures and typing with the flow
  455.         control     constructs,  operators     and syntax of C.  There are
  456.         standard functions to provided the sort of support  provided
  457.         by  the     standard  I/O and the C libraries, as well as addi-
  458.         tional types and functions to support common needs  such  as
  459.         simple data bases and character based screen handling.
  460. ports:        Sun4, 80x86 Xenix, NextStep, MSDOS
  461. features:    + direct access to many system calls
  462.         + structures, safe pointers, floating point
  463.         + simple, non-indexed built in database
  464.         + terminal-based windowing library
  465. contact:    Andy Newman <andy@research.canon.oz.au>
  466. discussion:    send "help" to listserv@research.canon.oz.au
  467. portability:    high
  468. status:        actively developed.
  469. updated:    1992/11/10
  470.  
  471. language:    Icon
  472. package:    icon
  473. version:    8.7 (8.5, 8.0 depending on platform)
  474. parts:        interpreter, compiler (some platforms), library (v8.8)
  475. author:        Ralph Griswold <ralph@CS.ARIZONA.EDU>
  476. how to get:    ftp icon/* from cs.arizona.edu
  477. description:    Icon is a high-level, general purpose programming language that
  478.         contains many features for processing nonnumeric data,
  479.         particularly for textual material consisting of string of
  480.         characters.
  481.         - no packages, one name-space
  482.         - no exceptions
  483.         + object oiented features
  484.         + records, sets, lists, strings, tables
  485.         + unlimited line length
  486.         - unix interface is primitive
  487.         + co-expressions
  488. references:    "The Icon Programmming Language", Ralph E. Griswold and 
  489.         Madge T. Griswold, Prentice Hall, seond edition, 1990.
  490.         "The Implementation of the Icon Programmming Language", 
  491.         Ralph E. Griswold and Madge T. Griswold, Princeton 
  492.         University Press 1986
  493. ports:        Amiga, Atari, CMS, Macintosh, Macintosh/MPW, MSDOS, MVS, OS/2,
  494.         Unix (most variants), VMS, Acorn
  495. discussion:    comp.lang.icon
  496. contact:    icon-project@cs.arizona.edu
  497. updated:    1992/08/21
  498.  
  499. language:    Candle, IDL (Interface Description Language)
  500. package:    Scorpion System
  501. version:    5.0
  502. author:        University of Arizona
  503. parts:        software development environment for developing
  504.         software development environments, documentation
  505. how to get:    ftp scorpion/* from cs.arizona.edu
  506. description:    20 tools that can be used to construct specialized
  507.         programming environments
  508. history:    The Scorpion Project was started by Prof. Richard
  509.         Snodgrass as an outgrowth of the SoftLab Project (which pro-
  510.         duced the IDL Toolkit) that he started when he was at the
  511.         University of North Carolina.  The Scorpion Project is
  512.         directed by him at the University of Arizona and by Karen
  513.         Shannon at the University of North Carolina at Chapel Hill.
  514. reference:    "The Interface Description Language: Definition and Use," 
  515.         by Richard Snodgrass, Computer Science Press, 1989,
  516.         ISBN 0-7167-8198-0
  517. ports:        Sun-3, Sun-4, Vax, Decstation, NeXT, Sequent, HP9000
  518. discussion:    info-scorpion-request@cs.arizona.edu
  519. contact:    scorpion-project@cs.arizona.edu
  520. updated:    1991/04/10
  521.  
  522. language:    IDL (Project DOE's Interface Definition Language)
  523. package:    SunSoft OMG IDL CFE
  524. version:    1.2
  525. parts:        compiler front end, documentation
  526. author:        SunSoft Inc.
  527. how to get:    ftp pub/OMG_IDL_CFE_1.2/* from omg.org
  528. description:    OMG's (Object Management Group) CORBA 1.1 (Common
  529.         Object Request Broker Architecture) specification
  530.         provides the standard interface definition between
  531.         OMG-compliant objects.    IDL (Interface Definition
  532.         Language) is the base mechanism for object
  533.         interaction.  The SunSoft OMG IDL CFE (Compiler Front
  534.         End) provides a complete framework for building CORBA
  535.         1.1-compliant preprocessors for OMG IDL.  To use
  536.         SunSoft OMG IDL CFE, you must write a back-end; full
  537.         instructions are included.  No problem.     A complete
  538.         compiler of IDL would translate IDL into client side
  539.         and server side routines for remote communication in
  540.         the same manner as the currrent Sun RPCL compiler. The
  541.         additional degree of freedom that the IDL compiler
  542.         front end provides is that it allows integration of new
  543.         back ends which can translate IDL to various
  544.         programming languages. Locally at Sun we are working on
  545.         a back end that will produce C and C++, and we know of
  546.         companies (members of OMG) that are interested in other
  547.         target languages such as Pascal or Lisp.
  548. requires:    C++ 2.1 conformant C++ compiler
  549. contact:    idl-cfe@sun.com
  550. updated:    1993/05/04
  551.  
  552. language:    IFP (Illinois Functional Programming)
  553. package:    ifp
  554. version:    0.5
  555. parts:        interpreter
  556. author:        Arch D. Robison <robison@shell.com>
  557. how to get:    comp.sources.unix archive volume 10
  558. description:    A variant of Backus' "Functional Programming" language
  559.         with a syntax reminiscent of Modula-2.    The interpreter
  560.         is written in portable C.
  561. references:    [1] Arch D. Robison, "Illinois Functional Programming: A
  562.         Tutorial," BYTE, (February 1987), pp. 115--125.
  563.         [2] Arch D. Robison, "The Illinois Functional
  564.         Programming Interpreter," Proceedings of 1987 SIGPLAN
  565.         Conference on Interpreters and Interpretive Techniques,
  566.         (June 1987), pp. 64-73
  567. ports:        UNIX, MS-DOS, CTSS (Cray)
  568. updated:    ?
  569.  
  570. language:    INTERCAL
  571. package:    C-INTERCAL
  572. version:    0.9
  573. author:        Eric Raymond ?
  574. how to get:    ftp pub/intercal/intercal0.9.* from sequoia.lle.rochester.edu
  575. description:    [can someone please tell me what it is?  --muir]
  576. contact:    ?
  577. updated:    1993/05/20
  578.  
  579. language:    J
  580. package:    J-mode
  581. what:        add on to J
  582. parts:        emacs macros
  583. how to get:    ftp pub/j/gmacs/j-interaction-mode.el from think.com
  584. updated:    1991/03/04
  585.  
  586. language:    J
  587. package:    J from ISI
  588. version:    6
  589. parts:        interpreter, tutorial
  590. author:        Kenneth E. Iverson and Roger Hui <hui@yrloc.ipsa.reuter.com>
  591. how to get:    ftp languages/apl/j/* from watserv1.waterloo.edu
  592. description:     J was designed and developed by Ken Iverson and Roger Hui.  It
  593.         is similar to the language APL, departing from APL in using
  594.         using the ASCII alphabet exclusively, but employing a spelling
  595.         scheme that retains the advantages of the special alphabet
  596.         required by APL. It has added features and control structures
  597.         that extend its power beyond standard APL.  Although it can be
  598.         used as a conventional procedural programming language, it can
  599.         also be used as a pure functional programming language.
  600. ports:        Dec, NeXT, SGI, Sun-3, Sun-4, VAX, RS/6000, MIPS, Mac, Acorn
  601.         IBM-PC, Atari, 3b1, Amiga
  602. updated:    1992/10/31
  603.  
  604. language:    Janus
  605. package:    qdjanus
  606. version:    1.3
  607. parts:        translator(prolog)
  608. author:        Saumya Debray <debray@cs.arizona.edu>
  609. how to get:    ftp janus/qdjanus/* from cs.arizona.edu
  610. conformance:    mostly compliant with "Programming in Janus" by 
  611.         Saraswat, Kahn, and Levy.
  612. description:    janus is a janus-to-prolog compiler meant to be used 
  613.         with Sicstus Prolog
  614. updated:    1992/05/18
  615.  
  616. language:    Janus
  617. package:    jc
  618. version:    1.50 alpha
  619. parts:        translator(C)
  620. author:        David Gudeman <gudeman@cs.arizona.edu>
  621. how to get:    ftp janus/jc/* from cs.arizona.edu
  622. description:    jc is a janus-to-C compiler (considerably faster than qdjanus).
  623.         jc is a _sequential_ implementation of a _concurrent_ language.
  624. status:        jc is an experimental system, undergoing rapid development.  
  625.         It is in alpha release currently.
  626. bugs:        jc-bugs@cs.arizona.edu
  627. discussion:    janusinterest-request@parc.xerox.com
  628. ports:        sun-4, sun-3, Sequent Symmetry
  629. updated:    1992/06/09
  630.  
  631. language:    PCN
  632. package:    PCN
  633. version:    2.0
  634. parts:        compiler?, runtime, linker, libraries, tools, debugger, 
  635.         profiler, tracer
  636. author:        Ian Foster <foster@mcs.anl.gov>, Steve Tuecke
  637.         <tuecke@mcs.anl.gov>, and others
  638. how to get:    ftp pub/pcn/pcn_v2.0.tar.Z from info.mcs.anl.gov
  639. description:    PCN is a parallel programming system designed to improve
  640.         the productivity of scientists and engineers using parallel
  641.         computers.  It provides a simple language for specifying
  642.         concurrent algorithms, interfaces to Fortran and C, a
  643.         portable toolkit that allows applications to be developed
  644.         on a workstation or small parallel computer and run
  645.         unchanged on supercomputers, and integrated debugging and
  646.         performance analysis tools.  PCN was developed at Argonne
  647.         National Laboratory and the California Institute of
  648.         Technology.  It has been used to develop a wide variety of
  649.         applications, in areas such as climate modeling, fluid
  650.         dynamics, computational biology, chemistry, and circuit
  651.         simulation.
  652. ports:        (workstation nets): Sun4, NeXT, RS/6000, SGI
  653.         (multicomputers): iPSC/860, Touchstone DELTA
  654.         (shared memory multiprocessors): Symmetry/Dynix
  655. contact:    <pcn@mcs.anl.gov>
  656. updated:    1993/02/12
  657.  
  658. language:    RLaB language (math manipulation - MATLAB-like)
  659. package:    RLaB
  660. version:    0.75 
  661. parts:        interpreter, libraries, documentation
  662. author:        Ian Searle <ians@eskimo.com>
  663. how to get:    ftp pub/alpha/RLaB from evans.ee.adfa.oz.au
  664. description:    RLaB is a "MATLAB-like" matrix-oriented programming
  665.         language/toolbox.  RLaB focuses on creating a good experimental
  666.         environment (or laboratory) in which to do matrix math
  667.         Currently RLaB has numeric scalars and matrices (real and
  668.         complex), and string scalars, and matrices. RLaB also contains
  669.         a list variable type, which is a heterogeneous associative
  670.         array.
  671. restriction:    GNU General Public License
  672. requires:    GNUPLOT, lib[IF]77.a (from f2c)
  673. ports:        many unix, OS/2, Amiga
  674. bugs:        Ian Searle <ians@eskimo.com>
  675. updated:    1993/04/21 ?
  676.  
  677. language:    FUDGIT language (math manipulation)
  678. package:    FUDGIT
  679. version:    2.27
  680. parts:        interpreter
  681. author:        Thomas Koenig <ig25@rz.uni-karlsruhe.de> ??
  682. how to get:    ftp /pub/linux/sources/usr.bin/fudgit-* from tsx-11.mit.edu ??
  683. description:    FUDGIT is a double-precision multi-purpose fitting program.  It
  684.         can manipulate complete columns of numbers in the form of
  685.         vector arithmetic. FUDGIT is also an expression language
  686.         interpreter understanding most of C grammar except pointers.
  687.         Morever, FUDGIT is a front end for any plotting program
  688.         supporting commands from stdin. It is a nice mathematical
  689.         complement to GNUPLOT, for example.
  690. requires:    GNUPLOT
  691. ports:        AIX, HPUX, Linux, IRIX, NeXT, SunOS, Ultrix
  692. updated:    1993/02/22
  693.  
  694. language:    Unix bc (arbitrary-precision arithmetic language)
  695. package:    GNU BC
  696. version:    1.02
  697. parts:        interpreter?
  698. author:        ?
  699. how to get:    ftp bc-1.02.tar.Z from a GNU archive site
  700. description:    Bc is an arbitrary precision numeric processing language.  Its
  701.         syntax in similar to C but differs in many substantial areas.
  702.         This version was written to be a POSIX compliant bc processor
  703.         with several extensions to the draft standard.  This version
  704.         does not use the historical method of having bc be a compiler
  705.         for the dc calculator.  This version has a single executable
  706.         that both compiles the language and runs the resulting "byte
  707.         code".  The "byte code" is NOT the dc language.
  708. bugs:        ?
  709. updated:    ?
  710.  
  711. language:    Unix dc (arbitrary-precision arithmetic language)
  712. package:    GNU DC
  713. version:    0.2
  714. parts:        interpreter?
  715. author:        ?
  716. how to get:    ftp dc-0.2.tar.Z from a GNU archive site
  717. description:    Dc is an arbitrary precision numeric processing language.  It
  718.         uses an RPN (prefix) syntax.  This version
  719. bugs:        ?
  720. updated:    1993/05/21
  721.  
  722. language:    Calc?  (symbolic math calculator)
  723. package:    Calc
  724. version:    2.02
  725. parts:        interpreter, emacs mode
  726. author:        ?
  727. how to get:    ftp calc-2.02.tar.z from a GNU archive site
  728. description:    Calc is an extensible, advanced desk calculator and
  729.         mathematical tool written in Emacs Lisp that runs as part of
  730.         GNU Emacs.  It is accompanied by the "Calc Manual", which
  731.         serves as both a tutorial and a reference.  If you wish, you
  732.         can use Calc as only a simple four-function calculator, but it
  733.         also provides additional features including choice of algebraic
  734.         or RPN (stack-based) entry, logarithms, trigonometric and
  735.         financial functions, arbitrary precision, complex numbers,
  736.         vectors, matrices, dates, times, infinities, sets, algebraic
  737.         simplification, differentiation, and integration.
  738. bugs:        ?
  739. updated:    ?
  740.  
  741. language:    lex
  742. package:    flex
  743. version:    2.3.8
  744. parts:        scanner generator
  745. how to get:    ftp flex-2.3.8.tar.Z from a GNU archive site or ftp.ee.lbl.gov
  746. author:        Vern Paxson <vern@ee.lbl.gov>
  747. updated:    ?
  748.  
  749. language:    LIFE (Logic, Inheritance, Functions, and Equations)
  750. package:    Wild_LIFE
  751. version:    first-release
  752. parts:        interpreter, manual, tests, libraries, examples
  753. author:        Paradise Project, DEC Paris Research Laboratory.
  754. how to get:    ftp pub/plan/Life.tar.Z from gatekeeper.dec.com.
  755. description:    LIFE is an experimental programming language with a
  756.         powerful facility for structured type inheritance.  It
  757.         reconciles styles from functional programming, logic
  758.         programming, and object-oriented programming.  LIFE
  759.         implements a constraint logic programming language with
  760.         equality (unification) and entailment (matching)
  761.         constraints over order-sorted feature terms.  The
  762.         Wild_LIFE interpreter has a comfortable user interface
  763.         with incremental query extension ability.  It contains
  764.         an extensive set of built-in operations as well as an X
  765.         Windows interface.
  766. conformance:    semantic superset of LOGIN and LeFun.  Syntax is similar
  767.         to prolog.
  768. discussion:    life-request@prl.dec.com
  769. bugs:        life-bugs@prl.dec.com
  770. contact:    Peter Van Roy <vanroy@prl.dec.com>
  771. ports:        MIPS-Ultrix
  772. portability:    good in theory
  773. updated:    1992/12/14
  774.  
  775. language:    lisp
  776. package:    RefLisp
  777. version:    2.67
  778. parts:        interpreter, documentation, examples, profiler
  779. author:        Bill Birch <bbirch@hemel.bull.co.uk>
  780. how to get:    ftp implementations/reflisp/* from the directory 
  781.         /afs/cs.cmu.edu/user/mkant/Public/Lisp on ftp.cs.cmu.edu
  782. description:    The interpreter is a shallow-binding (i.e., everything has
  783.         dynamic scope), reference counting design making it suitable
  784.         for experimenting with real-time and graphic user interface
  785.         programming. Common Lisp compatibility macros are provided, and
  786.         most of the examples in "Lisp" by Winston & Horn have been run
  787.         on RefLisp.  RefLisp makes no distinction between symbol-values
  788.         and function-values, so a symbol can be either but not both.
  789.         There are Lisp modules for lexical scope and for running
  790.         indefinite extent Scheme programs.
  791. status:        "Last Update for a While," author is emigrating to Australia
  792. ports:        MSDOS (CGA/EGA/VGA), Unix (AIX)
  793. updated:    1993/02/09
  794.  
  795. language:    lisp
  796. package:    xlisp
  797. version:    2.1
  798. parts:        interpreter
  799. author:        David Micheal Betz <dbetz@apple.com>
  800. how to get:    ftp pub/xlisp* from wasp.eng.ufl.edu
  801.     usmail:    contact Tom Almy <toma@sail.labs.tek.com>
  802.     windows:    ftp util/wxlslib.zip from ftp.cica.indiana.edu
  803.     version2.0: ftp pub/xlisp/* from cs.orst.edu
  804.     macintosh:    ftp pub/bskendig/? from netcom.com (source comming)
  805. description:    XLISP is an experimental programming language
  806.         combining some of the features of Common Lisp with an
  807.         object-oriented extension capability.  It was
  808.         implemented to allow experimentation with
  809.         object-oriented programming on small computers.
  810. conformance:    subset of Common Lisp with additions of Class and Object
  811. discussion:    comp.lang.lisp.x
  812. portability:    very high: just needs a C compiler
  813. ports:        unix, amiga, atari, mac, MSDOS
  814. restriction:    ? no commercial use ?
  815. updated:    1992/05/26 (unix), 1987/12/16 (other platforms)
  816.  
  817. language:    lisp
  818. package:    "LISP, Objects, and Symbolic Programming"
  819. version:    ? 
  820. parts:        book with compiler included
  821. author:        Robert R. Kessler and Amy R. Petajan
  822. publisher:    Scott, Foresman and Company, Glenview, IL
  823. how to get:    bookstore...
  824. updated:    1988
  825.  
  826. language:    lisp
  827. package:    franz lisp
  828. version:    ?
  829. how to get:    [does anyone know where you get franz lisp??? --muir]
  830. author:        ?
  831. discussion:    franz-friends-request@berkeley.edu
  832. updated:    ?
  833.  
  834. language:    lisp (WOOL - Window Object Oriented Language)
  835. package:    GWM (Generic Window Manager)
  836. version:    ?
  837. parts:        interpreter, examples
  838. author:        ?
  839. how to get:    ftp contrib/gwm/* from export.lcs.mit.edu
  840.     france:    ftp pub/gwm/* from avahi.inria.fr
  841. description:    Gwm is an extensible window manager for X11.  It is
  842.         based on a WOOL kernel, and interpreted dialect of lisp 
  843.         with specific winow management primitives.
  844. discussion:    gwm-talk@???
  845. contact:    ?
  846. updated:    ?
  847.  
  848. language:    lisp (elisp - Emacs Lisp)
  849. package:    GNU Emacs
  850. version:    19.7
  851. parts:        editor, interpreter, documentation, source debugger
  852. author:        Richard Stallman <rms@gnu.ai.mit.edu> and others
  853. description:    An editor that is almost an operating system.  Quite
  854.         programmable.  [someone want to say something better? --muir]
  855. discussion:    alt.religion.emacs, gnu.emacs.sources
  856. announcements:    gnu.emacs.announce
  857. bugs:        gnu.emacs.bug
  858. help:        gnu.emacs.help
  859. ports:        Unix, VMS, ?
  860. updated:    1993/05/22
  861.  
  862. language:    Logo
  863. package:    logo
  864. version:    4
  865. parts:        interpreter
  866. author:        ?
  867. how to get:    comp.sources.unix archive volume 10
  868. description:    ?
  869. updated:    ?
  870.  
  871. language:    Logo
  872. package:    Berkeley Logo
  873. version:    2.9 - alpha
  874. parts:        interpreter
  875. author:        Brian Harvey <bh@anarres.CS.Berkeley.EDU>
  876. how to ge:    ftp pub/*logo* from anarres.cs.berkeley.edu
  877. description:    + Logo programs are compatible among Unix, PC, and Mac.
  878.         + "richer" than MswLogo?
  879.         - pretty slow.
  880.         - doesn't do anything fancy about graphics.  (One turtle.)
  881. ports:        unix, pc, mac
  882. updated:    1993/03/01
  883.  
  884. language:    Logo
  885. package:    MswLogo
  886. version:    3.3
  887. parts:        interpreter
  888. author:        George Mills <mills@athena.lkg.dec.com>
  889. how to get:    ftp pub/comp.lang.logo/programs/mswlogo from cher.media.mit.edu
  890.         Source may require emailing George Mills.
  891. description:    A windows front-end for Berkeley Logo
  892. status:        activly developed
  893. bugs:        George Mills <mills@athena.lkg.dec.com>
  894. ports:        MS Windows 3.x
  895. updated:    1993/04/20
  896.  
  897. language:    Lolli (logic programming)
  898. package:    Lolli
  899. parts:        ?
  900. how to get:    ftp pub/Lolli/Lolli-07.tar.Z. from ftp.cis.upenn.edu
  901. author:        ? Josh Hodas <hodas@saul.cis.upenn.edu> ?
  902. description:    Lolli is an interpreter for logic programming based 
  903.         on linear logic principles.
  904.         Lolli can be viewed as a refinement of the the
  905.         Hereditary Harrop formulas of Lambda-Prolog. All the
  906.         operators (though not the higher order unification) of
  907.         Lambda-Prolog are supported, but with the addition of
  908.         linear variations. Thus a Lolli program distinguishes
  909.         between clauses which can be used as many, or as few,
  910.         times as desired, and those that must be used exactly
  911.         once.
  912. requires:    ML
  913. updated:    1992/11/08
  914.  
  915. language:    LOOPN
  916. package:    LOOPN
  917. version:    ?
  918. parts:        compiler?, simulator
  919. how to get:    ftp departments/computer_sci*/loopn.tar.Z from ftp.utas.edu.au
  920. description:    I wish to announce the availability of a compiler, simulator
  921.         and associated source control for an object-oriented petri net
  922.         language called LOOPN.  In LOOPN, a petri net is an extension
  923.         of coloured timed petri nets.  The extension means firstly that
  924.         token types are classes.  In other words, they consist of both
  925.         data fields and functions, they can be declared by inheriting
  926.         from other token types, and they can be used polymorphically.
  927.         The object-oriented extensions also mean that module or subnet
  928.         types are classes.  LOOPN has been developed over a period of
  929.         about 5 years at the University of Tasmania, where it has been
  930.         used in teaching computer simulation and the modelling of
  931.         network protocols.  A petri net is a directed, bipartite graph;
  932.         nodes are either places (represented by circles) or transitions
  933.         (represented by rectangles).  A net is marked by placing tokens
  934.         on places.  When all the places pointing to a transition (the
  935.         input places) have a token, the net may be fired by removing a
  936.         token from each input place and adding a token to each place
  937.         pointed to by the transition (the output places).  Petri nets
  938.         are used to model concurrent systems, particularly in the
  939.         network protocol area.
  940. contact:    Charles Lakos <charles@probitas.cs.utas.edu.au>
  941. updated:    1992/12/20
  942.  
  943. language:    Lout
  944. package:    Lout
  945. version:    2
  946. parts:        translator(Lout->Postscript), documentation
  947. author:        Jeffrey H. Kingston <jeff@cs.su.oz.au>
  948. how to get:    ftp jeff/lout.2.03.tar.Z from ftp.cs.su.oz.au
  949. description:    Lout is a batch text formatting system.
  950.         Lout offers an unprecedented range of advanced features,
  951.         including equation formatting, tables, diagrams, rotation and
  952.         scaling, sorted indexes, bibliographic databases, running
  953.         headers and odd-even pages, automatic cross referencing, and
  954.         much more, all ready to go.  Furthermore, Lout is easily
  955.         extended with definitions which are very much easier to write
  956.         than troff of TeX macros because Lout is a high-level language,
  957.         the outcome of an eight-year research project that went back to
  958.         the beginning.
  959. ports:        unix
  960. updated:    1993/05/12
  961.  
  962. language:    MeldC (MELD, C)
  963. package:    MeldC
  964. version:    2.0
  965. parts:        microkernel, compiler, debugger, manual, examples
  966. author:        MELD Project,  Programming Systems Laboratory at 
  967.         Columbia University
  968. how to get:    obtain license from <MeldC@cs.columbia.edu>
  969. restriction:    must sign license, cannot use for commercial purposes
  970. description:    MeldC 2.0: A Reflective Object-Oriented Coordination
  971.         Programming Language MELDC  is    a C-based, concurrent,
  972.         object-oriented language built on a reflective
  973.         architecture.     The  core  of    the  architecture  is
  974.         a micro-kernel    (the MELDC kernel), which encapsulates
  975.         a minimum set of entities that cannot be modeled as
  976.         objects.  All  components  outside of        the
  977.         kernel    are  implemented  as objects in MELDC itself
  978.         and are modularized in the MELDC libraries.  MELDC is
  979.         reflective in three  dimensions:       structural,
  980.         computational and  architectural.  The structural
  981.         reflection indicates that classes and meta-classes are
  982.         objects,  which     are       written  in    MELDC.      The
  983.         computational  reflection means that object behaviors
  984.         can be computed and extended at runtime.  The
  985.         architectural reflection indicates that new
  986.         features/properties  (e.g.,  persistency  and
  987.         remoteness) can be constructed in MELDC.
  988. ports:        Sun4/SunOS4.1 Mips/Ultrix4.2
  989. contact:    <MeldC@cs.columbia.edu>
  990. updated:    1992/12/15
  991.  
  992. language:    ML
  993. package:    LML
  994. version:    ?
  995. parts:        compiler(?), interactive environment
  996. how to get:    ftp pup/haskell/chalmers/* from animal.cs.chalmers.se
  997. description:    lazy, completely functional variant of ML.
  998. ports:        ?
  999. contact:    ?
  1000. updated:    1992/07/06
  1001.  
  1002. langauge:    m4
  1003. package:    GNU m4
  1004. version:    1.0
  1005. parts:        interperter, ?
  1006. how to get:    ftp m4-1.0.tar.Z from a GNU archive site
  1007. author:        ?
  1008. description:    A macro preprocessor language, somewhat flexible.
  1009. conformance:    ?
  1010. ports:        ?
  1011. updated:    1991/10/25
  1012.  
  1013. language:    Modula-2, Pascal
  1014. package:    m2
  1015. version:    ? 7/2/92 ?
  1016. parts:        ? compiler ?
  1017. history:    The compiler was designed and built by Michael L.
  1018.         Powell, and originally released in 1984.  Joel
  1019.         McCormack sped the compiler up, fixed lots of bugs, and
  1020.         swiped/wrote a User's Manual.  Len Lattanzi ported the
  1021.         compiler to the MIPS.
  1022. description:    A modula-2 compiler for VAX and MIPS.  A Pascal
  1023.         compiler for VAX is also included.  The Pascal compiler
  1024.         accepts a language that is almost identical to Berkeley
  1025.         Pascal.
  1026. conformance:    extensions:    
  1027.         + foreign function and data interface
  1028.         + dynamic array variables
  1029.         + subarray parameters
  1030.         + multi-dimensional open array parameters
  1031.         + inline proceedures
  1032.         + longfloat type
  1033.         + type-checked interface to C library I/O routines
  1034. how to get:    ftp pub/DEC/Modula-2/m2.tar.Z from gatekeeper.dec.com
  1035. restriction:    must pass changes back to Digital
  1036. ports:        vax (ultrix, bsd), mips (ultrix)
  1037. contact:    modula-2@decwrl.pa.dec.com
  1038. updated:    1992/07/06
  1039.  
  1040. language:    Modula-2
  1041. package:    Ulm's Modula-2 System
  1042. version:    2.2.1
  1043. parts:        compiler, library, tools
  1044. author:        Andreas Borchert <borchert@mathematik.uni-ulm.de>
  1045.         compiler derived from the ETHZ compiler for the Lilith system
  1046. how to get:    ftp pub/soft/modula/ulm/sun3/modula-2.2.1.tar.Z from
  1047.         titania.mathematik.uni-ulm.de.  Please get the READ_ME too.
  1048. conformance:    PIM3
  1049. requires:    gas-1.36 (to be found in the same directory)
  1050. ports:        Sun3, Nixdorf Targon/31, Concurrent 3200 Series
  1051. restriction:    commercial use requires licence;
  1052.         compiler sources available by separate licence agreement
  1053.         (licence fee is not required if it is possible to
  1054.         transfer the sources across the network)
  1055. contact:    Andreas Borchert <borchert@mathematik.uni-ulm.de>
  1056. updated:    1992/03/02
  1057.  
  1058. language:    Modula-2
  1059. package:    mtc
  1060. parts:        translator(C)
  1061. how to get:    ftp soft/unixtools/compilerbau/mtc.tar.Z 
  1062.         from rusmv1.rus.uni-stuttgart.de 
  1063. author:        ?
  1064. description:    ?
  1065. ports:        ?
  1066. updated:    1991/10/25
  1067.  
  1068. language:    Modula-2, Modula-3
  1069. package:    M2toM3 ?
  1070. version:    ?
  1071. parts:        translator(Modula-2 -> Modula-3), ?
  1072. author:        ?
  1073. how to get:    ftp pub/DEC/Modula-3/contrib/M2toM3 from gatekeeper.dec.com
  1074. description:    ?
  1075. requires:    ?
  1076. updated:    ?
  1077.  
  1078. language:    Modula-2
  1079. package:    PRAM emulator and parallel modula-2 compiler ??
  1080. version:    ?
  1081. parts:        compiler, emulator
  1082. how to get:    ftp pub/pram/* from cs.joensuu.fi
  1083. description:    A software emulator for parallel random access machine (PRAM)
  1084.         and a parallel modula-2 compiler for the emulator.  A PRAM
  1085.         consists of P processors, an unbounded shared memory, and a
  1086.         common clock. Each processor is a random access machine (RAM)
  1087.         consisting of R registers, a program counter, and a read-only
  1088.         signature register. Each RAM has an identical program, but the
  1089.         RAMs can branch to different parts of the program. The RAMs
  1090.         execute the program synchronously one instruction in one clock
  1091.         cycle.
  1092.         pm2 programming language is Modula-2/Pascal mixture having
  1093.         extensions for parallel execution in a PRAM. Parallelism is
  1094.         expressed by pardo-loop- structure. Additional features include
  1095.         privat/shared variables, two synchronization strategies, load
  1096.         balancing and parallel dynamic memory allocation.
  1097. contact:    Simo Juvaste <sjuva@cs.joensuu.fi>
  1098. updated:    1993/02/17
  1099.  
  1100. language:    Modula-3
  1101. package:    SRC Modula-3
  1102. version:    2.11
  1103. parts:        translator(C), runtime, library, documentation
  1104. how to get:    ftp pub/DEC/Modula-3/m3-*.tar.Z from gatekeeper.dec.com
  1105. description:    The goal of Modula-3 is to be as simple and safe as it
  1106.         can be while meeting the needs of modern systems
  1107.         programmers.  Instead of exploring new features, we
  1108.         studied the features of the Modula family of languages
  1109.         that have proven themselves in practice and tried to
  1110.         simplify them into a harmonious language.  We found
  1111.         that most of the successful features were aimed at one
  1112.         of two main goals: greater robustness, and a simpler,
  1113.         more systematic type system.  Modula-3 retains one of
  1114.         Modula-2's most successful features, the provision for
  1115.         explicit interfaces between modules.  It adds objects
  1116.         and classes, exception handling, garbage collection,
  1117.         lightweight processes (or threads), and the isolation
  1118.         of unsafe features.
  1119. conformance:    implements the language defined in SPwM3.
  1120. ports:        i386/AIX 68020/DomainOS Acorn/RISCiX MIPS/Ultrix 68020/HP-UX
  1121.         RS6000/AIX IBMRT/4.3 68000/NextStep i860/SVR4 SPARC/SunOS
  1122.         68020/SunOS sun386/SunOS Multimax/4.3 VAX/Ultrix
  1123. contact:    Bill Kalsow <kalsow@src.dec.com>
  1124. discussion:    comp.lang.modula3
  1125. updated:    1992/02/09
  1126.  
  1127. language:    Modula-3
  1128. package:    m3pc
  1129. parts:        ?
  1130. author:        ?
  1131. how to get:    ftp pub/DEC/Modula-3/contrib/m3pc* from gatekeeper.dec.com
  1132. description:    an implementation of Modula-3 for PCs.
  1133.         [Is this SRC Modula-3 ported? --muir]
  1134. updated:    ?
  1135.  
  1136. language:    Motorola DSP56001 assembly
  1137. package:    a56
  1138. version:    1.1
  1139. parts:        assembler
  1140. author:        Quinn C. Jensen <jensenq@qcj.icon.com>
  1141. how to get:    alt.sources archive
  1142. updated:    1992/08/10
  1143.  
  1144. language:    natural languages
  1145. package:    proof
  1146. parts:        parser, documentation
  1147. author:        Craig R. Latta <latta@xcf.Berkeley.EDU>
  1148. how to get:    ftp src/local/proof/* from scam.berkeley.edu
  1149. description:    a left-associative natural language grammar scanner
  1150. bugs:        proof@xcf.berkeley.edu
  1151. discussion:    proof-request@xcf.berkeley.edu ("Subject: add me")
  1152. ports:        Decstation3100 Sun-4
  1153. updated:    1991/09/23
  1154.  
  1155. language:    NewsClip ?
  1156. package:    NewsClip
  1157. version:    1.01
  1158. parts:        translator(NewsClip->C), examples, documentation
  1159. author:        Looking Glass Software Limited but distributed by 
  1160.         ClariNet Communications Corp.
  1161. description:    NewsClip is a very high level language designed for
  1162.         writing netnews filters.  It translates into C.
  1163.         It includes support for various newsreaders.
  1164. restriction:    Cannot sell the output of the filters.  Donation is hinted at.
  1165. status:        supported for ClariNet customers only
  1166. contact:    newsclip@clarinet.com
  1167. updated:    1992/10/25
  1168.  
  1169. language:    Oaklisp
  1170. package:    oaklisp
  1171. version:    1.2
  1172. parts:        interface, bytecode compiler, runtime system, documentation
  1173. author:        Barak Pearlmutter, Kevin Lang
  1174. how to get:    ftp /afs/cs.cmu.edu/user/bap/oak/ftpable/* from f.gp.cs.cmu.edu
  1175. description:    Oaklisp is a Scheme where everything is an object.  It 
  1176.         provides multiple inheritence, a strong error system,
  1177.         setters and locators for operations, and a facility for
  1178.         dynamic binding.
  1179. status:        actively developed?
  1180. contact:    Pearlmutter-Barak@CS.Yale.Edu ?
  1181. updated:    1992/05 ?
  1182.  
  1183. language:    Oberon2
  1184. package:    Oberon-2 LEX/YACC definition 
  1185. version:    1.4
  1186. parts:        parser(yacc), scanner(lex)
  1187. how to get:    mail bevan@cs.man.ac.uk with Subject "b-server-request~ and
  1188.         body "send oberon/oberon_2_p_v1.4.shar"
  1189. author:        Stephen J Bevan <bevan@cs.man.ac.uk>
  1190. parts:        scanner(lex) parser(yacc)
  1191. status:        un-officially supported
  1192. updated:    1992/07/06
  1193.  
  1194. language:    Oberon
  1195. package:    Ceres workstation Oberon System
  1196. version:    ?
  1197. parts:        compiler
  1198. author:        ?
  1199. how to get:    ftp Oberon/? from neptune.ethz.ch
  1200. status:        The sources to the various _full_ implementations are indeed
  1201.         not available but the source to most of the complete Ceres
  1202.         workstation Oberon System, including NS32032 code generator but
  1203.         less low level system specific is available. This includes the
  1204.         complete Oberon compiler written in Oberon.
  1205. description:    file format is Oberon, binary header
  1206. updated:    ?
  1207.  
  1208. language:    OPS5
  1209. package:    PD OPS5
  1210. version:    ?
  1211. parts:        interpreter
  1212. how to get:    ftp /afs/cs.cmu.edu/user/mkant/Public/Lisp/ops5* from 
  1213.         ftp.cs.cmu.edu
  1214. author:        Written by Charles L. Forgy and ported to Common Lisp by 
  1215.         George Wood and Jim Kowalski. 
  1216. description:    Public domain implementation of an OPS5 interpreter. OPS5 is
  1217.         a programming language for production systems.     ??????
  1218. contact:    ? Mark Kantrowitz <mkant+@cs.cmu.edu> ?
  1219. requires:    Common Lisp
  1220. updated:    1992/10/17
  1221.  
  1222. language:    Parallaxis
  1223. package:    parallaxis
  1224. version:    2.0
  1225. parts:        ?, simulator, x-based profiler
  1226. author:        ?
  1227. how to get:    ftp pub/parallaxis from ftp.informatik.uni-stuttgart.de
  1228. description:    Parallaxis is a procedural programming language based
  1229.         on Modula-2, but extended for data parallel (SIMD) programming.
  1230.         The main approach for machine independent parallel programming 
  1231.         is to include a description of the virtual parallel machine 
  1232.         with each parallel algorithm.
  1233. ports:        MP-1, CM-2, Sun-3, Sun-4, DECstation, HP 700, RS/6000
  1234. contact:    ? Thomas Braunl <braunl@informatik.uni-stuttgart.de> ?
  1235. updated:    1992/10/23
  1236.  
  1237. language:    Parlog
  1238. package:    SPM System (Sequential Parlog Machine)
  1239. version:    ?
  1240. parts:        ?, documenation
  1241. author:        ?
  1242. how to get:    ? ftp lang/Parlog.tar.Z from nuri.inria.fr
  1243. description:    a logic programming language ?
  1244. references:    Steve Gregory, "Parallel Logic Programming in PARLOG", 
  1245.         Addison-Wesely, UK, 1987
  1246. ports:        Sun-3 ?
  1247. restriction:    ? no source code ?
  1248. updated:    ??
  1249.  
  1250. language:    Pascal
  1251. package:    p2c
  1252. version:    1.20
  1253. parts:        translator(Pascal->C)
  1254. author:        Dave Gillespie <daveg@synaptics.com>
  1255. how to get:    ftp ? from csvax.cs.caltech.edu
  1256. conformance:    supports ANSI/ISO standard Pascal as well as substantial 
  1257.         subsets of HP, Turbo, VAX, and many other Pascal dialects.
  1258. ports:        ?
  1259. updated:    1990/04/13
  1260.  
  1261. language:    Pascal
  1262. package:    ? iso_pascal ?
  1263. version:    ?
  1264. parts:        scanner(lex), parser(yacc)
  1265. author:        ?
  1266. how to get:    comp.sources.unix archive volume 13
  1267. description:    ?
  1268. updated:    ?
  1269.  
  1270. language:    Pascal, Lisp, APL, Scheme, SASL, CLU, Smalltalk, Prolog
  1271. package:    Tim Budd's C++ implementation of Kamin's interpreters
  1272. version:    ?
  1273. parts:        interpretors, documentation
  1274. author:        Tim Budd <budd@cs.orst.edu>
  1275. how to get:    ? ftp pub/budd/kamin/*.shar from cs.orst.edu ?
  1276. description:    a set of interpretors written as subclasses based on
  1277.         "Programming Languages, An Interpreter-Based Approach",
  1278.         by Samuel Kamin.
  1279. requires:    C++
  1280. status:        ? 
  1281. contact:    Tim Budd <budd@fog.cs.orst.edu>
  1282. updated:    1991/09/12
  1283.  
  1284. language:    Pascal
  1285. package:    ? frontend ?
  1286. version:    Alpha
  1287. parts:        frontend (lexer, parser, semantic analysis)
  1288. author:        Willem Jan Withagen <wjw@eb.ele.tue.nl>
  1289. how to get:    ftp pub/src/pascal/front* from ftp.eb.ele.tue.nl
  1290. description:    a new version of the PASCAL frontend using the Cocktail 
  1291.         compiler tools.
  1292. updated:    1993/02/24
  1293.  
  1294. language:    Pascal
  1295. package:    ptc
  1296. version:    ?
  1297. parts:        translator(Pacal->C)
  1298. how to get:    ftp languages/ptc from uxc.sco.uiuc.edu ?  (use archie?)
  1299. description:    ?
  1300. contact:    ?
  1301. updated:    ?
  1302.  
  1303. language:    Turbo Pascal, Turbo C
  1304. package:    tptc
  1305. version:    ?
  1306. parts:        translator(Turbo Pascal->Turbo C)
  1307. how to get:    ftp mirrors/msdos/turbopas/tptc17*.zip from wuarchive.wustl.edu
  1308. description:    (It does come with full source and a student recently used it
  1309.         as a start for a language that included stacks and queues as a
  1310.         built-in data type.
  1311. contact:    ?
  1312. updated:    ?
  1313.  
  1314. language:    Perl (Practical Extraction and Report Language)
  1315. package:    perl
  1316. version:    4.0 patchlevel 36
  1317. parts:        interpreter, debugger, libraries, tests, documentation
  1318. how to get:    ftp pub/perl.4.0/* from jpl-devvax.jpl.nasa.gov 
  1319.     OS/2 port:    ftp pub/os2/all/unix/prog*/perl4019.zip from hobbes.nmsu.edu
  1320.     Mac port:    ftp software/mac/src/mpw_c/Mac_Perl_405_* from nic.switch.ch
  1321.     Amiga port: ftp perl4.035.V010.* from wuarchive.wustl.edu
  1322.     VMS port:    ftp software/vms/perl/* from ftp.pitt.edu
  1323.     Atari port: ftp amiga/Languages/perl* from atari.archive.umich.edu
  1324.     DOS port:    ftp pub/msdos/perl/* from ftp.ee.umanitoba.ca
  1325.     DOS port#2:    ftp pub/msdos/perl/bperl* from oak.oakland.edu
  1326. author:        Larry Wall <lwall@netlabs.com>
  1327. description:    perl is an interpreted language optimized for scanning 
  1328.         arbitrary text files, extracting information from those text
  1329.         files, and printing reports based on that information.    It's
  1330.         also a good language for many system management tasks.    
  1331. features:    + very-high semantic density becuase of powerful operators
  1332.         like regular expression substitution
  1333.         + exceptions, provide/require
  1334.         + associative array can be bound to dbm files
  1335.         + no arbitrary limits
  1336.         + direct access to almost all system calls
  1337.         + can access binary data 
  1338.         + many powerful common-task idioms
  1339.         + 8-bit clean, including nulls
  1340.         - three variable types: scalar, array, and hash table
  1341.         - unappealing syntax
  1342. references:    "Programming Perl" by Larry Wall and Randal L. Schwartz,
  1343.         O'Reilly & Associates, Inc.  Sebastopol, CA.
  1344.         ISBN 0-93715-64-1
  1345. discussion:    comp.lang.perl
  1346. bugs:        comp.lang.perl; Larry Wall <lwall@netlabs.com>
  1347. ports:        almost all unix, MSDOS, Mac, Amiga, Atari, OS/2, VMS
  1348. portability:    very high for unix, not so high for others
  1349. updated:    1993/02/07
  1350.  
  1351. language:    perl, awk, sed, find
  1352. package:    a2p, s2p, find2perl
  1353. parts:        translators(perl)
  1354. author:        Larry Wall
  1355. how to get:    comes with perl
  1356. description:    translators to turn awk, sed, and find into perl.
  1357.  
  1358. language:    perl, yacc
  1359. package:    perl-byacc
  1360. version:    1.8.2
  1361. parts:        parser-generator(perl)
  1362. how to get:    ftp local/perl-byacc.tar.Z from ftp.sterling.com
  1363. author:        Rick Ohnemus <rick@IMD.Sterling.COM>
  1364. description:    A modified version of byacc that generates perl code.  Has '-p'
  1365.         switch so multiple parsers can be used in one program (C or
  1366.         perl).
  1367. portability:    Should work on most (?) UNIX systems.  Also works with 
  1368.         SAS/C 6.x on AMIGAs.
  1369. updated:    1993/01/24
  1370.  
  1371. language:    Postscript
  1372. package:    Ghostscript
  1373. version:    2.6
  1374. parts:        interpreter, ?
  1375. author:        L. Peter Deutsch <ghost@aladdin.com>
  1376. how to get:    ftp pub/GNU/ghostscript* from a GNU archive site
  1377. description:    A postscript interpreter with previewers for serval
  1378.         systems and many fonts.
  1379. updated:    1993/05/10
  1380.  
  1381. language:    Postscript, Common Lisp
  1382. package:    PLisp
  1383. version:    ?
  1384. parts:        translator(Postscript), programming environment(Postscript)
  1385. description:    ?
  1386. author:        John Peterson <peterson-john@cs.yale.edu>
  1387. updated:    ?
  1388.  
  1389. language:    Prolog
  1390. package:    SB-Prolog
  1391. version:    3.1 ?
  1392. author:        interpreter
  1393. how to get:    ftp pub/sbprolog from sbcs.sunysb.edu
  1394. description:    ?
  1395. contact:    ? warren@sbcs.sunysb.edu ?
  1396. restriction:    GNU General Public License
  1397. updated:    ?
  1398.  
  1399. langauge:    Prolog
  1400. package:    XSB
  1401. version:    "a Beta version"
  1402. parts:        interpreter, preprocessor(HiLog), ?
  1403. author:        XSB research group / SUNY at Stony Brook
  1404. how to get:    ftp pub/XSB/XSB.tar.Z from sbcs.sunysb.edu
  1405. description:    XSB extends the standard functionality of Prolog (being a
  1406.         descendant of PSB- and SB-Prolog) to include implementations of
  1407.         OLDT (tabling) and HiLog terms.  OLDT resolution is extremely
  1408.         useful for recursive query computation, allowing programs to
  1409.         terminate correctly in many cases where Prolog does not.  HiLog
  1410.         supports a type of higher-order programming in which predicate
  1411.         symbols can be variable or structured.  This allows unification
  1412.         to be performed on the predicate symbols themselves in addition
  1413.         to the arguments of the predicates.  Of course, Tabling and
  1414.         HiLog can be used together.
  1415. contact:    xsb-contact@cs.sunysb.edu
  1416. updated:    1993/04/13
  1417.  
  1418. langauge:    Prolog
  1419. package:    Modular SB-Prolog
  1420. version:    ?
  1421. parts:        interpreter
  1422. how to get:    ftp pub/dts/mod-prolog.tar.Z from ftp.dcs.ed.ac.uk
  1423. description:    SB-Prolog version 3.1 plus modules
  1424. ports:        Sparc
  1425. contact:    Brian Paxton <mprolog@dcs.ed.ac.uk>
  1426. restriction:    GNU General Public License
  1427. updated:    ?
  1428.  
  1429. language:    ALF [prolog variant]
  1430. package:    alf (Algebraic Logic Functional programming language) 
  1431. version:    ?
  1432. parts:        runtime, compiler(Warren Abstract Machine)
  1433. author:        Rudolf Opalla <opalla@julien.informatik.uni-dortmund.de>
  1434. how to get:    ftp pub/programming/languages/LogicFunctional from
  1435.         ftp.germany.eu.net
  1436. description:    ALF is a language which combines functional and
  1437.         logic programming techniques.  The foundation of
  1438.         ALF is Horn clause logic with equality which consists
  1439.         of predicates and Horn clauses for logic programming,
  1440.         and functions and equations for functional programming.
  1441.         Since ALF is an integration of both programming
  1442.         paradigms, any functional expression can be used
  1443.         in a goal literal and arbitrary predicates can
  1444.         occur in conditions of equations.
  1445. updated:    1992/10/08
  1446.  
  1447. language:    CLP (Constraint Logic Programming language) [Prolog variant]
  1448. package:    CLP(R)
  1449. version:    1.2
  1450. parts:        runtime, compiler(byte-code), contstraint solver
  1451. author:        IBM
  1452. how to get:    mail to Joxan Jaffar <joxan@watson.ibm.com>
  1453. description:    CLP(R) is a constraint logic programming language
  1454.         with real-arithmetic constraints.  The implementation
  1455.         contains a built-in constraint solver which deals
  1456.         with linear arithmetic and contains a mechanism
  1457.         for delaying nonlinear constraints until they become
  1458.         linear.     Since CLP(R) subsumes PROLOG, the system
  1459.         is also usable as a general-purpose logic programming
  1460.         language.  There are also powerful facilities for
  1461.         meta programming with constraints.  Significant
  1462.         CLP(R) applications have been published in diverse
  1463.         areas such as molecular biology, finance, physical
  1464.         modelling, etc.     We are distributing CLP(R) in order 
  1465.         to help widen the use of constraint programming, and 
  1466.         to solicit feedback on the system
  1467. restriction:    free for academic and research purposes only
  1468. contact:    Roland Yap <roland@bruce.cs.monash.edu.au>, Joxan Jaffar
  1469. ports:        unix, msdos, OS/2
  1470. updated:    1992/10/14
  1471.  
  1472. language:    Prolog (variant)
  1473. package:    Aditi
  1474. version:    Beta Release
  1475. parts:        interpreter, database
  1476. author:        Machine Intelligence Project, Univ. of Melbourne, Australia
  1477. how to get:    send email to aditi@cs.mu.oz.au
  1478. description:    The Aditi Deductive Database System is a multi-user
  1479.         deductive database system.  It supports base relations
  1480.         defined by facts (relations in the sense of relational
  1481.         databases) and derived relations defined by rules that
  1482.         specify how to compute new information from old
  1483.         information.  Both base relations and the rules
  1484.         defining derived relations are stored on disk and are
  1485.         accessed as required during query evaluation.  The
  1486.         rules defining derived relations are expressed in a
  1487.         Prolog-like language, which is also used for expressing
  1488.         queries.  Aditi supports the full structured data
  1489.         capability of Prolog.  Base relations can store
  1490.         arbitrarily nested terms, for example arbitrary length
  1491.         lists, and rules can directly manipulate such terms.
  1492.         Base relations can be indexed with B-trees or
  1493.         multi-level signature files.  Users can access the
  1494.         system through a Motif-based query and database
  1495.         administration tool, or through a command line
  1496.         interface.  There is also in interface that allows
  1497.         NU-Prolog programs to access Aditi in a transparent
  1498.         manner.     Proper transaction processing is not supported
  1499.         in this release.
  1500. ports:        Sparc/SunOS4.1.2 Mips/Irix4.0
  1501. contact:    <aditi@cs.mu.oz.au>
  1502. updated:    1992/12/17
  1503.  
  1504. language:    Lambda-Prolog
  1505. package:    Prolog/Mali (PM)
  1506. version:    ? 6/23/92 ?
  1507. parts:        translator(C), linker, libraries, runtime, documentation
  1508. how to get:    ftp pm/* from ftp.irisa.fr
  1509. author:        Pascal Brisset <brisset@irisa.fr>
  1510. description:    Lambda-Prolog, a logic programming language defined by
  1511.         Miller, is an extension of Prolog where terms are
  1512.         simply typed $\lambda$terms and clauses are higher
  1513.         order hereditary Harrop formulas. The main novelties
  1514.         are universal quantification on goals and implication.
  1515. references:    + Miller D.A. and Nadathur G. "Higher-order logic 
  1516.         programming", 3rd International Conference on Logic 
  1517.         Programming, pp 448-462, London 1986.
  1518.         + Nadathur G. "A Higher-Order Logic as a Basis for Logic
  1519.         Programming", Thesis, University of Pennsylvania, 1987.     
  1520. requires:    MALI-V06 abstract memory. MALI is available by anonymous ftp 
  1521.         from ftp.irisa.fr
  1522. ports:        unix
  1523. discussion:    prolog-mali-request@irisa.fr
  1524. contact:    pm@irisa.fr
  1525. updated:    1992/07/06
  1526.  
  1527. language:    Prolog (variant)
  1528. package:    CORAL
  1529. version:    ?
  1530. parts:        interpreter, interface(C++), documentation
  1531. author:        ?
  1532. how to get:    ftp ? from ftp.cs.wisc.edu
  1533. description:    The CORAL deductive database/logic programming system was
  1534.         developed at the University of Wisconsin-Madison.  The CORAL
  1535.         declarative language is based on Horn-clause rules with
  1536.         extensions like SQL's group-by and aggregation operators, and
  1537.         uses a Prolog-like syntax.  * Many evaluation techniques are
  1538.         supported, including bottom-up fixpoint evaluation and top-down
  1539.         backtracking.  * A module mechanism is available.  Modules are
  1540.         separately compiled; different evaluation methods can be used
  1541.         in different modules within a single program.  * Disk-resident
  1542.         data is supported via an interface to the Exodus storage
  1543.         manager.  * There is an on-line help facility
  1544. requires:    AT&T C++ 2.0 (G++ soon)
  1545. ports:        Decstation, Sun4
  1546. updated:    1993/01/29
  1547.  
  1548. language:    Prolog
  1549. package:    BinProlog
  1550. version:    1.71
  1551. parts:        interpreter?, documentation
  1552. how to get:    ftp BinProlog/* from clement.info.umoncton.ca
  1553. description:    BinProlog 1.71 is at this time probably the
  1554.         fastest freely available C-emulated Prolog.
  1555. ports:        IBM-PC/386, Sun-4, Sun-3, NeXT
  1556. contact:    Paul Tarau <tarau@info.umoncton.ca>
  1557. updated:    1993/04/03
  1558.  
  1559. language:    prolog
  1560. package:    SWI-Prolog
  1561. version:    1.6.12
  1562. author:        Jan Wielemaker <jan@swi.psy.uva.nl>
  1563. how to get:    ftp pub/SWI-Prolog from swi.psy.uva.nl 
  1564.     OS/2:    ftp pub/toolw/SWI/* from mpii02999.ag2.mpi-sb.mpg.de
  1565. conformance:    superset
  1566. features:    "very nice Ed. style prolog, best free one I've seen"
  1567. ports:        Sun-4, Sun-3 (complete); Linux, DEC MIPS (done but 
  1568.         incomplete, support needed); RS6000, PS2/AIX, Atari ST,
  1569.         Gould PN, NeXT, VAX, HP-UX (known problems, support needed);
  1570.         MSDOS (status unknown), OS/2
  1571. restriction:    GNU General Public License
  1572. status:        activly developed
  1573. discussion:    prolog-request@swi.psy.uva.nl
  1574. contact:    (OS/2) Andreas Toenne <atoenne@mpi-sb.mpg.de>
  1575. updated:    1993/03/05
  1576.  
  1577. language:    Prolog
  1578. package:    Frolic
  1579. version:    ?
  1580. how to get:    ftp pub/frolic.tar.Z from cs.utah.edu
  1581. requires:    Common Lisp
  1582. contact:    ?
  1583. updated:    1991/11/23
  1584.  
  1585. language:    Prolog
  1586. package:    ? Prolog package from the University of Calgary ?
  1587. version:    ?
  1588. how to get:    ftp pub/prolog1.1/prolog11.tar.Z from cpsc.ucalgary.ca
  1589. description:    + delayed goals
  1590.         + interval arithmetic
  1591. requires:    Scheme
  1592. portability:    relies on continuations
  1593. contact:    ?
  1594. updated:    ?
  1595.  
  1596. language:    Prolog
  1597. package:    ? slog ?
  1598. version:    ?
  1599. parts:        translator(Prolog->Scheme)
  1600. author:        dorai@cs.rice.edu
  1601. how to get:    ftp public/slog.sh from titan.rice.edu
  1602. description:    macros expand syntax for clauses, elations etc, into Scheme
  1603. ports:        Chez Scheme
  1604. portability:    reliese on continuations
  1605. updated:    ?
  1606.  
  1607. language:    Prolog
  1608. package:    LM-PROLOG
  1609. version:    ?
  1610. parts:        ?
  1611. author:        Ken Kahn and Mats Carlsson
  1612. how to get:    ftp archives/lm-prolog.tar.Z from sics.se
  1613. requires:    ZetaLisp
  1614. contact:    ?
  1615. updated:    ?
  1616.  
  1617. language:    Prolog
  1618. package:    Open Prolog
  1619. version:    ?
  1620. parts:        ?
  1621. host to get:    ftp languages/open-prolog/* from grattan.cs.tcd.ie
  1622. description:    ?
  1623. ports:        Macintosh
  1624. contact:    Michael Brady <brady@cs.tcd.ie>
  1625. updated:    ?
  1626.  
  1627. language:    Prolog
  1628. package:    UPMAIL Tricia Prolog
  1629. version:    ?
  1630. parts:        ?
  1631. how to get:    ftp pub/Tricia/README from ftp.csd.uu.se
  1632. description:    ?
  1633. contact:    <tricia-request@csd.uu.se>
  1634. updated:    ?
  1635.  
  1636. language:    Prolog
  1637. package:    ?; ? (two systems)
  1638. version:    ?; ?
  1639. parts:        ?; ?
  1640. how to get:    ftp ai.prolog/Contents from aisun1.ai.uga.edu
  1641. description:    ?; ?
  1642. contact:    Michael Covington <mcovingt@uga.cc.uga.edu>
  1643. ports:        MSDOS, Macintosh; MSDOS
  1644. updated:    ?; ?
  1645.  
  1646. language:    Prolog
  1647. package:    XWIP (X Window Interface for Prolog)
  1648. version:    0.6
  1649. parts:        library
  1650. how to get:    ftp contrib/xwip-0.6.tar.Z from export.lcs.mit.edu
  1651. description:    It is a package for Prologs following the Quintus foreign
  1652.         function interface (such as SICStus). It provides a (low-level)
  1653.         Xlib style interface to X. The current version was developed
  1654.         and tested on SICStus 0.7 and MIT X11 R5 under SunOS 4.1.1.
  1655. portability:    It is adaptable to many other UNIX configurations.
  1656. contact:    xwip@cs.ucla.edu
  1657. updated:    1993/02/25
  1658.  
  1659. language:    Prolog
  1660. package:    PI
  1661. version:    ?
  1662. parts:        library
  1663. how to get:    ftp pub/prolog/ytoolkit.tar.Z from ftp.ncc.up.pt
  1664. description:    PI is a interface between Prolog applications and XWindows that
  1665.         aims to be independent from the Prolog engine, provided that it
  1666.         has a Quintus foreign function interface (such as SICStus,
  1667.         YAP).  It is mostly written in Prolog and is divided in two
  1668.         libraries: Edipo - the lower level interface to the Xlib
  1669.         functions; and Ytoolkit - the higher level user interface
  1670.         toolkit
  1671. contact:    Ze' Paulo Leal <zp@ncc.up.pt>
  1672. updated:    1993/03/02
  1673.  
  1674. language:    Prolog
  1675. package:    ISO draft standard
  1676. parts:        language definition
  1677. how to get:    ftp ? from ftp.th-darmstadt.de
  1678. updated:    1992/07/06
  1679.  
  1680. langauge:    BABYLON (Prolog variant???)
  1681. package:    BABYLON
  1682. version:    ?
  1683. parts:        development environment
  1684. how to get:    ftp gmd/ai-research/Software/* from gmdzi.gmd.de
  1685. description:    BABYLON is a development environment for expert systems. It
  1686.         includes frames, constraints, a prolog-like logic formalism, 
  1687.         and a description language for diagnostic applications. 
  1688. requires:    Common Lisp
  1689. ports:        many ?
  1690. contact:    ?
  1691. updated:    ?
  1692. -- 
  1693. Send compilers articles to compilers@iecc.cambridge.ma.us or
  1694. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  1695.